Robert Harper - PDFSEARCH.IO - Document Search Engine

Robert Harper
Results: 56

#	Item
21	RGU at the TREC Blog Track Malcolm Clark, Ulises Cervi˜ no Beresi, Stuart Watt, David Harper The School of Computing The Robert Gordon University Aberdeen, Scotland, United Kingdom Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2007-02-16 13:07:46 Natural language processing Statistical natural language processing Tf*idf Sentiment analysis Search engine indexing Language model Subject Okapi BM25 Information science Information retrieval Science
22	Manifest Security for Distributed Information Karl Crary Robert Harper Frank Pfenning Carnegie Mellon University Benjamin C. Pierce Stephanie Weirich Stephan Zdancewic University of Pennsylvania March 6, 2006 Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2006-03-07 09:37:45 Deduction Propositional calculus Philosophical logic Logical consequence Information flow Entailment Modal logic Computer security Soundness Logic Mathematical logic Proof theory
23	Cache and I/O Efficient Functional Algorithms Guy E. Blelloch Robert Harper Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-10-30 13:00:38 Computer hardware Analysis of algorithms Sorting algorithms Memory management Models of computation Cache-oblivious algorithm CPU cache Merge sort Compiler optimization Cache Computer memory Computing
24	Commentary on Standard ML Commentary on Standard ML Robin Milner and Mads Tofte Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-07-23 09:44:07 Functional languages Procedural programming languages Robin Milner Mads Tofte ML Robert Harper Milner Unit of alcohol Software engineering Programming language theory Computing
25	A Framework for Defining Logics Robert Harper∗ Furio Honsell† Gordon Plotkin‡ Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-30 10:44:06 Logic in computer science Proof theory Dependently typed programming Type theory Deduction Natural deduction Curry–Howard correspondence Logical framework Symbol Logic Mathematics Mathematical logic
26	Programming in Standard ML (W ORKING D RAFT OF M ARCH 25, Robert Harper Carnegie Mellon University Spring Semester, 2001 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2001-09-28 05:05:39 Procedural programming languages Functional languages Standard ML ML Reference Recursion Exception handling Software engineering Computing Computer programming
27	The Definition of Standard ML The Definition of Standard ML Robin Milner, Mads Tofte, and Robert Harper Add to Reading List Source URL: www.itu.dk Language: English - Date: 2007-07-23 09:36:22 Functional languages Procedural programming languages Robin Milner Robert Harper ML Mads Tofte Milner Cataloging Unit of alcohol Software engineering Programming language theory Computing
28	Programming in Standard ML (W ORKING D RAFT OF J UNE 28, Robert Harper Carnegie Mellon University Spring Semester, 2001 Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2001-09-28 05:05:04 Procedural programming languages Functional languages Standard ML ML C Reference Software engineering Computing Programming language theory
29	Curriculum Vitae Mads Tofte October 4, 2014 Born on April 20, 1959, in Lyngby, Denmark. Danish citizen. Married to Joan Campbell-Tofte. Vice Chancellor (“Rektor”), IT University of Copenhagen. Add to Reading List Source URL: www.itu.dk Language: English - Date: 2014-10-04 03:17:51 Fellows of the Royal Society Functional languages Procedural programming languages Mads Tofte Robin Milner Laboratory for Foundations of Computer Science Robert Harper ML SIGPLAN Software engineering Programming language theory Computing
30	Modular Type Classes Derek Dreyer Robert Harper Toyota Technological Institute at Chicago Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2008-08-07 13:41:05 Software engineering Programming language theory Deduction Functional programming Type class Entailment Standard ML Type system Sheaf Logic Type theory Data types

UPDATE